<html>
<head><meta charset="utf-8"><title>Bindings and locals · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Bindings.20and.20locals.html">Bindings and locals</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="164564376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Bindings%20and%20locals/near/164564376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Bindings.20and.20locals.html#164564376">(Apr 30 2019 at 18:41)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> <span class="user-mention" data-user-id="124288">@oli</span> Regarding <a href="https://github.com/rust-lang/rust/pull/56231#discussion_r279783952" target="_blank" title="https://github.com/rust-lang/rust/pull/56231#discussion_r279783952">https://github.com/rust-lang/rust/pull/56231#discussion_r279783952</a> what would be the preferred way to store diagnostic information for MIR locals. After that PR we will be both abusing debug info and smuggling data in the <code>is_user_variable</code> field of <code>LocalDecl</code>. Would a side table in MIR that is cleared after borrow checking be preferable (to both), or do you have some other ideas?</p>



<a name="164564483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Bindings%20and%20locals/near/164564483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Bindings.20and.20locals.html#164564483">(Apr 30 2019 at 18:42)</a>:</h4>
<p>uhm, I'm not sure. I think this is a bunch of information that doesn't belong in the MIR, but I don't know how to fully express it</p>



<a name="164564555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Bindings%20and%20locals/near/164564555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Bindings.20and.20locals.html#164564555">(Apr 30 2019 at 18:43)</a>:</h4>
<p>using debuginfo for MIR borrowck <em>diagnostics</em> may be fine, but there are a few places where... more interesting decisions get taken, I think?</p>



<a name="164564772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Bindings%20and%20locals/near/164564772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Bindings.20and.20locals.html#164564772">(Apr 30 2019 at 18:46)</a>:</h4>
<p>anyway, I  gtg now</p>



<a name="164564808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Bindings%20and%20locals/near/164564808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Bindings.20and.20locals.html#164564808">(Apr 30 2019 at 18:46)</a>:</h4>
<p>we should discuss this somewhere, but I really am not sure what to do. the "temporary" vs "user variable" distinction is brittle IMO</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>